Annotated revision programs
نویسندگان
چکیده
منابع مشابه
Annotated Revision Programs
Revision programming is a formalism to describe and enforce updates of belief sets and databases. That formalism was extended by Fitting who assigned annotations to revision atoms. Annotations provide a way to quantify the confidence (probability) that a revision atom holds. The main goal of our paper is to reexamine the work of Fitting, argue that his semantics does not always provide results ...
متن کاملAnnotated Revision Specification Programs
Marek and Truszczyński have introduced an interesting mechanism for specifying revisions of knowledge bases by means of logic programs. Here we extend their idea to allow for confidence factors, multiple experts, and so on. The appropriate programming mechanism turns out to be annotated logic programs and the appropriate semantic tool, bilattices. This may be the first example of a setting in w...
متن کاملLogic Programs with Annotated Disjunctions
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, we introduce a new formalism, Logic Programs with Annotated Disjunctions, based on disjunctive logic programs. In this formalism, each of the disjuncts in the head of a clause is annotated with a probability. Viewing such ...
متن کاملTemporally Annotated Extended Logic Programs
Extended logic programs (ELPs) are a set of logic rules with strong negation allowed in the bodies or head of the rules and weak negation ~ allowed in the bodies of the rules. ELPs enable for various forms of reasoning that cannot be achieved by definite logic programs. Answer Set Programming provides a widely acceptable semantics for ELPs. However, ELPs do not provide information regarding t...
متن کاملUpdate Rules and Revision Programs
We consider two recently proposed methods for database updating by means of inference rules: a syntactic method proposed by the authors that uses the concept of update rule, and a semantic method proposed by Marek and Truszcy nski, that uses the concept of revision program. We show that the two methods are complementary in the following sense: 1. Using revision programs, we show that update rul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2002
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(02)00184-4